Checking plan: <PATH_REMOVED>
Plan to validate:

Plan size: 12
1:
(unstack d a)
 
2:
(put-down d)
 
3:
(unstack a c)
 
4:
(put-down a)
 
5:
(pick-up d)
 
6:
(put-down d)
 
7:
(unstack c b)
 
8:
(put-down c)
 
9:
(pick-up a)
 
10:
(stack a b)
 
11:
(pick-up d)
 
12:
(stack d c)
 

Plan Validation details
-----------------------

Checking next happening (time 1)
Deleting (on d a)
Deleting (clear d)
Deleting (handempty)
Adding (holding d)
Adding (clear a)

Checking next happening (time 2)
Deleting (holding d)
Adding (clear d)
Adding (handempty)
Adding (ontable d)

Checking next happening (time 3)
Deleting (on a c)
Deleting (clear a)
Deleting (handempty)
Adding (holding a)
Adding (clear c)

Checking next happening (time 4)
Deleting (holding a)
Adding (clear a)
Adding (handempty)
Adding (ontable a)

Checking next happening (time 5)
Deleting (clear d)
Deleting (ontable d)
Deleting (handempty)
Adding (holding d)

Checking next happening (time 6)
Deleting (holding d)
Adding (clear d)
Adding (handempty)
Adding (ontable d)

Checking next happening (time 7)
Deleting (on c b)
Deleting (clear c)
Deleting (handempty)
Adding (holding c)
Adding (clear b)

Checking next happening (time 8)
Deleting (holding c)
Adding (clear c)
Adding (handempty)
Adding (ontable c)

Checking next happening (time 9)
Deleting (clear a)
Deleting (ontable a)
Deleting (handempty)
Adding (holding a)

Checking next happening (time 10)
Deleting (clear b)
Deleting (holding a)
Adding (handempty)
Adding (clear a)
Adding (on a b)

Checking next happening (time 11)
Deleting (clear d)
Deleting (ontable d)
Deleting (handempty)
Adding (holding d)

Checking next happening (time 12)
Deleting (clear c)
Deleting (holding d)
Adding (handempty)
Adding (clear d)
Adding (on d c)
Plan executed successfully - checking goal
Plan valid
Final value: 12 

Successful plans:
Value: 12
 <PATH_REMOVED> 12 


plan is valid!!